三値論理学
【さんちろんりがく】
【sanchironrigaku】
三值逻辑学